Computational complexity of determining which statements about causality hold in different space–time models
نویسندگان
چکیده
منابع مشابه
Computational complexity of determining which statements about causality hold in different space-time models
Causality is one of the most fundamental notions of physics. It is therefore important to be able to decide which statements about causality are correct in different models of space-time. In this paper, we analyze the computational complexity of the corresponding decision problems. In particular, we show that: • for Minkowski space-time, the decision problem is as difficult as Tarski’s decision...
متن کاملan investigation of accuracy and complexity across different proficiency levels in written narrative task
abstract this quasi-experimental study was aimed at examining the impact of storyline complexity on the grammatical accuracy and complexity of advanced and intermediate efl learners. a total of 65 advanced and intermediate efl learners were selected from iran language institute (ili). an intact group including 35 intermediate participants and another intact group with 30 advanced participants ...
Quantum Computational Complexity in Curved Spacetime
In this paper we examine how computational complexity analysis of quantum algorithms may be compromised when implicit assumptions of flat spacetime are violated. In particular, we show that in curved spacetime, i.e., all practical contexts, the complexity of standard formulations of Grover’s algorithm (and other iterative quantum algorithms) may reduce to that of classical alternatives. In addi...
متن کاملThe Computational Complexity of Structure-Based Causality
Halpern and Pearl introduced a definition of actual causality; Eiter and Lukasiewicz showed that computing whether X = x is a cause of Y = y is NP-complete in binary models (where all variables can take on only two values) and Σ2 -complete in general models. In the final version of their paper, Halpern and Pearl slightly modified the definition of actual cause, in order to deal with problems po...
متن کاملSpacetime topology from causality
We prove that a globally hyperbolic spacetime with its causality relation is a bicontinuous poset whose interval topology is the manifold topology. This provides an abstract mathematical setting in which one can study causality independent of geometry and differentiable structure.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2008
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2008.06.028